O presente artigo possui o objetivo geral de investigar a prática da gestão democrática participativa do Projeto Político Pedagógico (PPP) sob perspectivas bibliográficas. O objetivo específico e analisar a figura do gestor democrático, como formador de decisões, a partir da escuta e diálogo com conselhos, coletivos e comunidade. A inserção do gestor nesse ambiente é fundamental para elaborar e executar o PPP. A prática democrática participativa passa pela escuta, diálogo e inclusão da pluralidade do plano, como representante maior, do lugar (...) de fala dos múltiplos indivíduos, saberes, conteúdos, competências e habilidades. O método utilizado é a pesquisa bibliográfica. O intuito é incentivar a construção do ambiente escolar com proposta democrática participativa na tomada de decisões coletivas, com maior equidade, solidariedade e dever à verdade. (shrink)

Nossa pesquisa tem como objeto de análise, o conhecimento da verdade no “Contra os Acadêmicos” de Agostinho. A despeito do critério de verdade ao conhecimento Acadêmico enquanto 'ueritas', Agostinho sustenta a interpretação da verdade como 'veritas'. A verdade possui um tratamento de 'veritas' enquanto realidade que nos orienta e nos conduz ao conhecimento da beatitude. Nisso, o conhecimento da verdade no diálogo difere do verdadeiro para os Acadêmicos. Enquanto nos Acadêmicos, a verdade é a possibilidade de a filosofia alcançar alguma (...) certeza no conhecimento, para Agostinho, a verdade é o soberano bem do conhecimento. Palavras-chaves: Agostinho, conhecimento, verdade. (shrink)

Disputes about the causal structure of natural selection have implications for teleosemantics. Etiological, mainstream teleosemantics is based on a causalist view of natural selection. The core of its solution to Brentano’s Problem lies in the solution to Kant’s Puzzle provided by the Modern Synthesis concerning populational causation. In this paper, I suggest that if we adopt an alternative, statisticalist view on natural selection, the door is open for two reflections. First, it allows for setting different challenges to etiological teleosemantics that (...) arise if a statisticalist reading of natural selection is right. Second, by providing a different solution to Kant’s Puzzle based on individual causes of evolution, statisticalism promotes a different answer to Brentano’s Problem, what I label as Agential Teleosemantics. (shrink)

The field of the philosophy of biology is flourishing in its aim to evaluate and rethink the view inherited from the previous century ---the Modern Synthesis. Different research areas and theories have come to the fore in the last decades in order to account for different biological phenomena that, in the first instance, fall beyond the explanatory scope of the Modern Synthesis. This thesis is anchored and motivated by this revolt in the philosophy of biology. -/- The central target in (...) this context is the possibility of naturalizing teleology, a classical nightmare for the history of biology itself. This requires, principally, understanding the causes of teleological explanations without assuming an unfashioned backward causation of sorts. As the riddles of teleological explanations are about their temporal dimension, I analyze different temporal scales of biological processes: evolutionary, developmental, and physiological. -/- The first one is the one defended in the context of the Modern Synthesis. As expected, one of the aims of this thesis is to evaluate the adequacy of an evolutionary account of teleological explanation. The scrutiny is negative. Evolutionary explanations in the context of the Modern Synthesis lack the necessary causal roots to naturalize teleology. Concerning the physiological scale, a long tradition pushed up by Kant and the organicist movement in the 20th century allows us to better understand how teleological explanations can be naturalized in physiological process. The key notions in this temporal scale are self-organization and the recursive, looped character of physiological process. While the physiological scale may be suitably accounted by contemporaries views, such as Autonomous Systems Theory, different central teleological phenomena remain unexplained from a purely physiological perspective. In particular, different issues concerning the (adaptive) construction of organism ---such as plasticity, robustness, variation, novelty, inheritance--- deserve an ontogenetic analysis. -/- The principal aim of this thesis is to provide a theory of teleological development that falls beyond the Modern Synthesis' framework and is prompted by different insights from the history of biology. I call it Agential Teleosemantics. It rests on two central pillars. First, that developmental processes, beyond any gene-centered stance, can be understood in informational terms; i.e. developmental processes are about the interaction of developmental resources conveying biological information. The second ingredient is agentivity, namely the idea that development is regulated by an agentive system according to the adaptiveness of the phenotypic outcomes produced. The role of agency in Agential Teleosemantic is equivalent to the role of genes in the Modern Synthesis: it is responsible for explaining the order and the adaptive complexity in the living realm. -/- The second target of this thesis regards the possibility of naturalizing intentional explanations in cognitive science. The central project involved in such an aim is known as teleosemantics. Classical teleosemantics however is etiological: it explains the teleofunctions of representational systems in terms of evolutionary processes. The different disputes in the contemporary philosophy of biology provide two insights to analyze teleosemantics in cognitive science. First, the challenges against the Modern Synthesis must be extended to the evolutionary approach of etiological teleosemantics. Second, as Agential Teleosemantics suggests an alternative source for teleofunctions ---ontogeny, I offer an attempt to integrate Agential Teleosemantics into cognitive science in order to provide an alternative teleosemantic project to understand intentional explanations in cognitive science. (shrink)

Abstract: This paper argues that a central explanatory role for the concept of Umwelt in theoretical biology is to be found in developmental biology, in particular in the effort to understand development as a goal-directed and adaptive process that is controlled by the organism itself. I will reach this conclusion in two (interrelated) ways. The first is purely theoretical and relates to the current scenario in the philosophy of biology. Challenging neo-Darwinism requires a new understanding of the various components involved (...) in natural selection processes. An important prerequisite for the explanation is the ability to understand development in a teleological way. Here, the concept of Umwelt plays a crucial role: if organisms are responsible for generating adaptive variation in specific environments, we need a theory that explains the context-dependent nature of adaptively oriented processes. The Umwelt is thus a central element in determining the goal that an adaptive process pursues. The second path in my analysis also has a historical dimension. I will present Karl Ernst von Baer’s reflections on teleological development and his influence on von Uexküll's thinking. I will present various ideas developed by von Baer, such as the distinction between Ziel and Zweck and the use of musical metaphors, which can help to understand development teleologically and give von Uexküll’s theory a central place in this framework. (shrink)

The foundations of biology have been a topic of debate for the past few decades. The traditional perspective of the Modern Synthesis, which portrays organisms as passive entities with limited role in evolutionary theory, is giving way to a new paradigm where organisms are recognized as active agents, actively shaping their own phenotypic traits for adaptive purposes. Within this context, this article raises the question of whether contemporary biological theory is undergoing a cognitive revolution. This inquiry can be approached in (...) two ways: from a theoretical standpoint, exploring the centrality of the cognitive sciences in current theoretical biology; and from a historical perspective, examining the resemblance between the current state of theoretical biology and the Cognitive Revolution of the mid-20th century. Both inquiries yield affirmative answers, though important nuances will be emphasized. The cognitive sciences' explanatory framework is employed to elucidate the agentic characteristics of organisms, establishing a clear parallelism between the Cognitive Revolution and the present state of theoretical biology. (shrink)

Abstract: A common explanatory error concerns conflating epistemological roles between two domains. Here I deal with a special case: when explanations of development replace evolutionary explanations or vice versa. Ernst Mayr famously distinguished between proximate and ultimate causal explanations in biology. His view was central to keeping development outside the theory of evolution. Nevertheless, the explanatory role of developmental processes in evolution is a central theme in current theoretical biology, which has led to several revisions of Mayr’s distinction. In the (...) following, I will review these reviewers to determine whether the integration of development and evolution is based on an appropriate reinterpretation of Mayr’s distinction. The revisionists often propose an interactionist alternative in which proximate and ultimate causes interact to produce evolved traits. The most common interactionist account relies on the idea of reciprocal causation. I will argue that this perspective is still problematic and that the boundaries between explanatory domains are crossed. Instead, we should rethink Mayr’s distinction by adopting an alternative view of evolutionary causation, the so-called Statisticalist view on natural selection, which claims that the only level of causation is the proximate level. By excluding two different levels of causation, this framework is able to avoid fallacious explanations and fully consider reciprocal causation as a proximate phenomenon. I introduce the concept of “statistical reciprocity” to explain the statistical effects of (proximate) reciprocal causation in ultimate explanations and outline some ideas of “population ontogenetics” as a prominent framework for unifying development and evolution beyond interactionist positions. (shrink)

A common explanatory error in science concerns the conflation of the epistemological roles between two domains. Here we will address a specific case: when explanations of development replace evolutionary explanations or vice versa. Ernst Mayr famously distinguished between proximate and ultimate causal explanations in biology. His view was central to the Modern Synthesis’ exclusion of development from evolutionary theory. Nonetheless, the explanatory role of developmental processes in evolution is a central theme in current theoretical biology which has prompted several revisions (...) of Mayr’s distinction. Here we will review these reviewers to determine whether the integration of development and evolution is based on an appropriate reinterpretation of Mayr’s distinction. In many cases, revisionists suggest an interactionist alternative, in which proximate and ultimate causes interact to produce evolved traits. The most frequent interactionist account relies on the idea of reciprocal causation. We will argue that this perspective is still problematic and that the boundaries between explanatory domains are crossed. Instead, we should rethink Mayr’s distinction by adopting an alternative view of evolutionary causation, the so-called Statisticalist view, which maintains that the only level of causation is the individual level. By ruling out two different levels of causation, this framework is appropriate to avoid fallacious explanations and reconsider reciprocal causation entirely as a proximate phenomenon. We introduce the concept of “statistical reciprocity” to explain the statistical effects of reciprocal causality in populations and outline some ideas of “population ontogenetics” as a prominent framework for unifying development and evolution beyond interactionist positions. (shrink)

The use of evolutionary explanations to explain phenomena at the individual level has been described by various authors as an explanatory error, the so-called Phylogeny Fallacy. In this paper, this fallacy will be analyzed in the context of teleosemantics, a central project of the philosophy of mind whose main aim is to naturalize intentional systems by appealing to their biological teleofunctions. I will argue that those teleosemantics projects that invoke evolutionary functions generally commit the fallacy. First, I will point to (...) various arguments in the literature that point to this fallacy. However, a more general argument will also be made. To illustrate this puzzling scenario, I will present two desiderata that any teleosemantic project must fulfill. I will argue that naturalizing intentionality based on natural selection creates an explanatory gap between types and tokens. This gap prohibits an adequate explanation of the desiderata. To close the gap, teleosemantics invokes replicator biology, a view of inheritance that has already been identified to commit the fallacy. This leads teleosemantics into a complex situation: to close the gap, it must commit the fallacy. (shrink)

Explanatory Externalism states that the only adaptive force in evolution is natural selection. Explanatory Externalism is a central thesis of the Modern Evolutionary Synthesis. The etiological theory of natural selected-effect functions also advocates Explanatory Externalism. According to this theory, natural selection is the process responsible for determining the proper natural functions of traits. However, I will point out several challenges to Explanatory Externalism that are proposed primarily by developmental biology and its various subfields. Based on these challenges, this paper will (...) argue why biological functions cannot be fully explained by the selected-effect theory, i.e., that a theory of biological functions must adopt some kind of Explanatory Internalism. At the end of this paper, I will discuss whether or not Explanatory Internalism entails a pluralistic view of biological functions, and how this discussion is related to the different explanations of fit and diversity found in evolutionary biology. (shrink)

Abstract: The use of evolutionary explanations to account for proximate phenomena has been labeled by various authors as an explanatory error, the so-called phylogeny fallacy. In this paper, this fallacy will be analyzed in the context of teleosemantics. I will discuss whether teleosemantics projects that rely on the Selected-Effect Theory of Functions (i.e., mainstream teleosemantics) generally commit the fallacy. To frame the discussion, I will present two desiderata that, as argued here, every teleosemantic project must fulfill. The actuality desideratum, motivated (...) by Brentano’s problem, demands for a proximate analysis of the properties that make a system intentional. The historical desideratum, on the other hand, says that a teleological view of intentionality requires a historical dimension in order to understand the causal basis of teleological explanations. While I give some reasons why mainstream teleosemantics might be implicated in the phylogeny fallacy, my main argument aims to highlight an explanatory gap in mainstream teleosemantics: the population perspective on teleofunctions is inadequate to explain the proximate properties of intentional systems. In other words, the account of the historical desideratum in population-evolutionary terms prevents an adequate solution to the actuality desideratum. This is related to two central goals of teleosemantics: The goal of explaining content determination by recourse to natural selection processes makes it impossible to solve another goal of teleosemantics, the so-called problem of representational status. I analyze this situation and argue that inherited information (sometimes interpreted in a teleosemantic sense) plays the role of closing the gap. This leads teleosemantics into a complex situation: in order to close the gap, it must commit the fallacy. At the end of the article, I propose an alternative to fulfill both desiderata, motivated by an evo-devo perspective. I state that lineage explanations have the property of providing historical explanations based on proximate causes. (shrink)

El objetivo de este ensayo es analizar cómo confluyen en una misma base teórica tres discursos de diferentes áreas. Uno de ellos es la ciencia, mediante el genocentrismo defendido en la síntesis moderna en Biología. Otro es el de la religión, mediante la perspectiva finalista del alma y del diseño divino, que comparten las religiones abrahámicas. Y finalmente, en la esfera político-social, donde diferentes movimientos conservadores se oponen a replantear la agenda de derechos. La confluencia teórica que nuclea a las (...) tres áreas mencionadas es un preformismo sobre los organismos. Por lo tanto, primero, veremos cómo el preformismo se encuentra presente en biología. Segundo, señalaremos dos ideas relacionadas al preformismo que subyacen tanto en la biología como en la religión. Finalmente, analizaremos cómo ambos discursos, el científico y el religioso, se encuentran presentes y empleando un rol argumentativo en debates actuales sobre derechos humanos, específicamente, relacionados al aborto ya los derechos de la población lgtbiq+. La principal conclusión es que la síntesis moderna promueve erróneamente una defensa de un preformismo genético, con connotaciones religiosas, que es usado por movimientos conservadores en el ámbito político-social. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

The first work that René Descartes wrote was the Compendium Musicæ in 1618, this was his first experiment with the future cartesian method. As a work of youth, the author must have studied music in your education, mainly in the college of La Flèche. Conventionally, the work of Gioseffo Zarlino had been considered the main source, because was cited in the Compendium. Since the text starts with music´s definition and eight propositions, about which the rest of work was developed; check (...) the way that them appear in other treatises of the time could help to deduce the possible musical sources that the author used.This dissertation starts with a necessary reconstitution of philosophical and musical context of the epoch, followed by an analysis of jesuits conceptions of knowledge and music. In this way, it can be considered what motivated the author to write about music, as his the debates. In resemblance to his mature work, the text proposes a methodological turn that is only perceived with the context of the time in mind. After an interpretation of the definition of the music and the eight propositions, it could be possible compare with the others works form the epoch to verify his musical sources. With this process, it could evidence the influence of Aristotle, Aristoxenus, Jean de Murs, Pontus de Tyard, Gioseffo Zarlino and Francisco de Salinas. (shrink)

The philosopher René Descartes wrote the Compendium musicæ in 1618. Even though he was not known for his music production, he maintained a long correspondence around the subject in dialogue with Marin Mersenne, Constantjin Huygens, Isaac Beeckman and Joan-Albert Ban. However, his musical propositions appear as a marginal subject in his intellectual journey. To understand whether the musical theme relates to the development of his ideas, first, the organization of his correspondence about music and the citations to it in his (...) works was necessary, either in smaller texts or in the works published by the author. We analyzed the hypotheses about the forgetfulness of music in studies about the development of Descartes´ ideas. With these materials, we analyzed and historically contextualized the trajectory of the author's musical conceptions with the development of his main themes. Thus, it is possible to verify Descartes' musical dialogues with his own work and with his historical context. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...) modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

Interpretations are generally regarded as the formal representation of the concept of translation.We do not subscribe to this view. A translation method must indeed establish relative consistency or have some uniformity. These are requirements of a translation. Yet, one can both be more strict or more flexible than interpretations are. In this article, we will define a general scheme translation. It should incorporate interpretations but also be compatible with more flexible methods. By doing so, we want to account for methods (...) that seem to imply a sense of translation but are not reducible to interpretations. The main example will be the relative consistent proof between ZF and NBG given by Novak (1950). Further, we will explore a way of combining interpretations. This should account for truth conditions discarded by interpretations in translated theories. (shrink)

In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF of (...) the same formula. We argue that the first makes use of a too strong metatheory. Although meaningful, this symmetrical reduction does not equate the ontological content of the theories. The strong metatheory levels the two theories. Moreover, we will modernize Shoenfields proof, emphasizing its relation to Herbrands theorem and that it can only be seen as a partial type of reduction. In contrast with symmetrical reductions, we believe that asymmetrical relations are powerful tools for comparing ontological content. In virtue of this, we prove that there is no interpretation of NBG in ZF, while NBG trivially interprets ZF. This challenges the standard view that the two systems have the same ontological content. (shrink)

¿Llegarán los ordenadores a sustituir a los seres humanos? Lo que hasta hace unas décadas parecía una pregunta de ciencia-ficción, es ahora defendido con seriedad por algunos especialistas en inteligencia artificial. El presente articulo dibuja las más importantes líneas de investigación en este campo y las posiciones más relevantes respecto de la relación hombre-maquina pensante. La conclusión que propone el autor supone una decidida apuesta por un humanismo en el que quepa integrar el desarrollo tecnológico sin perder de vista sus (...) innegables implicaciones éticas. (shrink)

Tras analizar sucintamente las consecuencias científicas y filosóficas de la identidad mente-cerebro, se señalan argumentos a favor y en contra de mantener el debate mente-cerebro. En particular se consideran las nuevas técnicas de exploración del cerebro como argumento en contra de tal debate. Las deficiencias e insuficiencias de tales técnicas aconsejan mantener el debate mente-cerebro y no asumir el materialismo.

In this article, instead of taking a particular method as translation, we ask: what does one expect to do with a translation? The answer to this question will reveal, though, that none of the first order methods are capable of fully represent the required transference of ontological commitments. Lastly, we will show that this view on translation enlarge considerably the scope of translatable, and, therefore, ontologically comparable theories.

The current economic and societal production system gives money a magnified importance, overlooking other essential flows necessary for human survival and existence. It focuses on monetary indicators like profits, dividends, and GDPs to evaluate organizational production, while often disregarding outputs that harm the biosphere. Money is treated as the constitutive being (ousia) and attributed undemonstrated explanatory properties. Intangible flow theory helps eliminate this metaphysical status of money by recognizing that monetary flows are just one of many necessary flows for human (...) survival and existence. Organizations deliver product-flows that require input-flows from and send output-flows back to the encompassing biosphere, whether they explicitly engage in environmentally friendly activities or not. Therefore, every organization is an ecological entity because it has a relationship with the biosphere, which participates in the manner through which humans integrate into their surrounding environment and relate to other living beings. Eliminating the metaphysical status of money integrates every organization in the biosphere, making organizations accountable for environmental harm caused by their activities. This can be achieved by deconstructing the metaphysical status of money in business models. (shrink)

Is consistency the sort of thing that could provide a guide to mathematical ontology? If so, which notion of consistency suits this purpose? Mark Balaguer holds such a view in the context of platonism, the view that mathematical objects are non-causal, non-spatiotemporal, and non-mental. For the purposes of this paper, we will examine several notions of consistency with respect to how they can provide a platon-ist epistemology of mathematics. Only a Gödelian notion, we suggest, can provide a satisfactory guide to (...) a platonist ontology. Is consistency the sort of thing that could provide a guide to mathematical ontology? If so, which notion of consistency suits this purpose? Mark Bala-guer holds such a view in the context of platonism, the view that mathematical objects are non-causal, non-spatiotemporal, and non-mental. Balaguer's version of Platonism, Full-Blooded Platonism (FBP), is the view that "there are as many abstract mathematical objects as there could be-i.e., there actually exist abstract mathematical objects of all possible kinds" (Balaguer, 2017, p. 381). He continues: Since FBP says that there are abstract mathematical objects of all possible kinds, it follows that if FBP is true, then every purely mathematical theory that could be true-i.e., that is internally consistent-accurately describes some collection of actually existing abstract objects. Thus it follows from FBP that in order to acquire knowledge of abstract objects, all we have to do is come up with an internally consistent purely mathematical theory (and know that it is internally consistent). (Balaguer, 2017, p. 381) * To be published in 43rd International Wittgenstein Symposium proceedings. (shrink)

In Risk Management, security issues arise from complex relations among objects and agents, their capabilities and vulnerabilities, the events they are involved in, and the value and risk they ensue to the stakeholders at hand. Further, there are patterns involving these relations that crosscut many domains, ranging from information security to public safety. Understanding and forming a shared conceptualization and vocabulary about these notions and their relations is fundamental for modeling the corresponding scenarios, so that proper security countermeasures can be (...) devised. Ontologies are instruments developed to address these conceptual clarification and terminological systematization issues. Over the years, several ontologies have been proposed in Risk Management and Security Engineering. However, as shown in recent literature, they fall short in many respects, including generality and expressivity - the latter impacting on their interoperability with related models. We propose a Reference Ontology for Security Engineering (ROSE) from a Risk Treatment perspective. Our proposal leverages on two existing Reference Ontologies: the Common Ontology of Value and Risk and a Reference Ontology of Prevention, both of which are grounded on the Unified Foundational Ontology (UFO). ROSE is employed for modeling and analysing some cases, in particular providing clarification to the semantically overloaded notion of Security Mechanism. (shrink)

Often ZF practice includes the use of the meta-theoretical notion of classes as shorthand expressions or in order to simplify the understanding of conceptual resources. NBG theory expresses formally the internalization of this feature in set theory; in this case, classes, before used metatheoretically, will also be captured by quantifiers of the first order theory. Never- theless there is a widespread opinion that this internalization of classes is harmless. In this context, it is common to refer to the conservativeness of (...) NBG in relation to ZF as a sufficient condition to understand those theories as “equivalent”, attributing a sense of virtuality to the use of classes quantified in NBG. We believe, however, that a technique used to estab- lish relationships between theories is not necessarily neutral in relation to its results - so a conservativeness established through models have different meaning and depth of that rela- tionship established by finitary interpretations. We believe, therefore, that the way in which relationships between theories are established influences the analysis result. In the case of the relationship between NBG and ZF, since NBG is finitely axiomatizible and ZF not, we believe that we have sufficient reasons to assert that the use of different analysis tools may re- veal differences such as expressiveness, ontological commitment and logical conservativeness. Therefore, this project aims to clarify the relationship between these two theories through triangulations between them and the different analysis tools. The use of finitary techniques, in this case, may prove greater expressiveness and ontological commitment of NBG in relation to ZF - relation obscured by an infinitary approach. We believe that, through this research, we can contribute to the debate on the basis of mathematics, denaturalizing the supposedly “equivalent” use of NBG and ZF for this purpose. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...) These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

This article intends to show that the defense of ‘‘understanding’’ as one of the major goals of science education can be grounded on an anti-reductionist perspective on testimony as a source of knowledge. To do so, we critically revisit the discussion between Harvey Siegel and Alvin Goldman about the goals of science education, especially where it involves arguments based on the epistemology of testimony. Subsequently, we come back to a discussion between Charbel N. El-Hani and Eduardo Mortimer, on the one (...) hand, and Michael Hoffmann, on the other, striving to strengthen the claim that rather than students’ belief change, understanding should have epistemic priority as a goal of science education. Based on these two lines of discussion, we conclude that the reliance on testimony as a source of knowledge is necessary to the development of a more large and comprehensive scientific understanding by science students. (shrink)

Contemporary mainstream economics cannot be seen as disconnected from philosophical concerns. On the contrary, it should be understood as a defence for a specific philosophy, namely, crude quantitative hedonism where money would measure pleasure and pain. Disguised among a great mathematical apparatus involving utility functions, supply, and demand, lies a specific hedonist philosophy that every year is lectured to thousands of economic and business students around the world. This hedonist philosophy is much less sophisticated than that in ancient hedonist philosophers (...) as Epicurus or Lucretius. Furthermore, it does not solve any of the systematic difficulties regularly faced by hedonist philosophy. However, the argument that economics is detached from philosophy works as a rhetorical artifice to protect its dominant underlying philosophy: Philosophical disputes would have to be addressed within the biased mathematical apparatus of quantitative hedonism. Economists and business students must learn to identify the underlying philosophy in mainstream economics and alternative philosophical systems. (shrink)

It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...) competition remains conceptually complex, as none of these approaches properly formalized their assumptions. In this paper, we address this issue by means of an ontological analysis on the notion of competition in general, and of business competition, in particular, leveraging theories from various fields, including Marketing, Strategic Management, Ecology, Psychology and Cognitive Sciences. Our analysis, the first of its kind in the literature, is grounded on the Unified Foundational Ontology (UFO) and allows us to formally characterize why competition arises, as well as to distinguish between three types of business competitive relationships, namely market-level, firm-level and potential competition. (shrink)

This was a little course of 4 weeks, in which we tried to develop some basic ideas about the proofs related to the properties of logarithms.

Network analysis as a tool for ecological interactions studies has been widely used since last decade. However, there are few studies on the factors that shape network patterns in communities. In this sense, we compared the topological properties of the interaction network between flower-visiting social wasps and plants in two distinct phytophysiognomies in a Brazilian savanna (Riparian Forest and Rocky Grassland). Results showed that the landscapes differed in species richness and composition, and also the interaction networks between wasps and plants (...) had different patterns. The network was more complex in the Riparian Forest, with a larger number of species and individuals and a greater amount of connections between them. The network specialization degree was more generalist in the Riparian Forest than in the Rocky Grassland. This result was corroborated by means of the nestedness index. In both networks was found asymmetry, with a large number of wasps per plant species. In general aspects, most wasps had low niche amplitude, visiting from one to three plant species. Our results suggest that differences in structural complexity of the environment directly influence the structure of the interaction network between flower-visiting social wasps and plants. (shrink)

Purpose: Illicit financial flows are targeted by the United Nations’ (UN) Sustainable Development Goals (SDGs). However, these illicit flows are not entirely understood. Furthermore, they can benefit from economic norms, laws, and regulations that lack mechanisms to detect and penalize them. This paper investigates whether a recent test, the embezzler test, can be used to identify regulatory architectures that facilitate illicit financial flows and related financial crimes. -/- Design/methodology/approach: To develop a more advanced version of the embezzler test in terms (...) of definitions and practical implementation methodology. -/- Findings: In this test, the definition of embezzlement can be understood to be the occurrence of illicit financial flows crossing the boundaries of organizations and/or countries. This is a multi-stage test, which intentionally simulates illicit financial flows to observe how well equipped is the regulatory architecture to deal with other financial offences that are related with these flows, such as theft, money laundering, fraud, corruption, market manipulation, and tax evasion. -/- Originality: This is the first explicit test that has been presented to identify norms, laws, and regulations that facilitate illicit financial flows and related financial crimes. -/- Research implications: Future research can employ the version of this test to stress test a large range of economic norms, laws, and regulations. -/- Practical/Social implications: This test’s new version can assist achieve the UN SDGs’ illicit financial flow reduction target. Furthermore, it can be used to study both existing and proposed norms, laws, and regulation. (shrink)

A guide to the first steps into the world of Geometry, Trigonometry and their lines-of-reasoning widely used through the high school and first years of college, in the exact-sciences context.

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be rei- fied is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analysis of truthmaking (...) patterns for properties and relations based on the ontolog- ical nature of their truthmakers. Truthmaking patterns will be presented as generalization of reification patterns, accounting for the fact that, in some cases, we do not reify a property or a relationship directly, but we rather reify its truthmakers. (shrink)

We propose that Saussure’s signifiers must be processed in the left brain hemisphere (in right handed people) and the signified may be processed in the right. This proposition has consequences for understanding human cognitive phenomena and their pathologies, and can also be related to the passive and active process of thinking, as described by Karl Jaspers. Saussure studied signifiers and their relationships. He left the signified to be studied by psychologists, but there is no consensus about it. According to some (...) linguists, the signified, or the meaning, is the specific activity or succession of bodily states related to each signifier. Learning is the process of linking a signifier (a represented object) to a signified or meaning (a specific activity). However, human beings can represent signifiers autonomously because words and drawings are easily produced with small movements and have syntactic, referential and logical rules of combination. If they are processed in the left hemisphere, the meaning (the signified) is only found when the right hemisphere is reached. The right hemisphere can also work independently, as for instance, when we imagine a story which has to find the words in the left hemisphere. The complex relationship between the hemispheres through the corpus callosum is decisive for telling stories and having self-consciousness. (shrink)